This book is concerned with `the problem of existence in mathematics'. It develops a mathematical system in which there are no existence assertions but only assertions of the constructibility of certain sorts of things. It explores the philosophical implications of such an approach through an examination of the writings of Field, Burgess, Maddy, Kitcher, and others.

A powerful challenge to some highly influential theories, this book offers a thorough critical exposition of modal realism, the philosophical doctrine that many possible worlds exist of which our own universe is just one. Chihara challenges this claim and offers a new argument for modality without worlds.

This paper explores some lines of argument in wittgenstein's post-Tractatus writings in order to indicate the relations between wittgenstein's philosophical psychology, On the one hand, And his philosophy of language, His epistemology, And his doctrines about the nature of philosophical analysis on the other. The authors maintain that the later writings of wittgenstein express a coherent doctrine in which an operationalistic analysis of confirmation and language supports a philosophical psychology of a type the authors call "logical behaviorism." they also maintain (...) that there are good grounds for rejecting the philosophical theory implicit in wittgenstein's later works. In particular, They first argue that wittgenstein's position leads to some implausible conclusions concerning the nature of language and psychology; second, They maintain that the arguments wittgenstein provides are inconclusive; and third, They sketch an alternative position which they believe avoids many of the difficulties implicit in wittgenstein's philosophy. (shrink)

This paper addresses John Burgess's answer to the ‘Benacerraf Problem’: How could we come justifiably to believe anything implying that there are numbers, given that it does not make sense to ascribe location or causal powers to numbers? Burgess responds that we should look at how mathematicians come to accept: There are prime numbers greater than 1010That, according to Burgess, is how one can come justifiably to believe something implying that there are numbers. This paper investigates what lies behind Burgess's (...) answer and ends up as a rebuttal to Burgess's reasoning. (shrink)

The fundamentals of cardinality theory are laid out within the framework of the Constructibility Theory. Finite cardinality theory is developed along the lines described by Frege in his Foundations of Arithmetic, and applications of theory are discussed.

Since the constructibility quantifiers, used in the mathematical system to be developed, will all assert the constructibility of open sentences, an explanation is given of the kinds of open sentences that will be asserted to be constructible. Each of these open sentences will be assigned to a specific ‘level’, depending on the kind of objects or open sentences that can satisfy it, thus providing the basis for the Simple Type Theoretical characteristic of the system to be developed. The satisfaction relation (...) under discussion will be taken to be a primitive of the system. The relevance of Quine's objections to modality for this system is taken up. (shrink)

Takes up Field's version of Logicism—a position that he calls ‘deflationism’. Unlike traditional Logicists, Field does not analyse mathematical propositions into purely logical ones, but he does analyse mathematical knowledge into logical knowledge. Several objections are raised to deflationism, revolving around Field's contention that mathematics consists mostly of falsehoods. Contends that, although mathematics, literally and platonically construed, is not true, it does convey genuine information.

Compares and contrasts Philip Kitcher's Ideal Agent account of mathematics with the constructibility view of this work. Raises a variety of doubts about the cogency of Kitcher's account and points out several weaknesses in the account.

Briefly sketches a standard form of the development of analysis within the Constructibility Theory. Then develops an axiomatized theory of lengths, in terms of which a system of rational and real numbers is specified. These developments are used to provide the basis for a theory of functions of real and complex variables.

The first of six chapters in which rival views are critically evaluated and compared with the Constructibility view described in earlier chapters. The views considered here are those of Stewart Shapiro and Michael Resnik. A number of difficulties with these two views are detailed and it is explained how the Constructibility Theory is not troubled by the problems that Structuralism was explicitly developed to resolve.

Penelope Maddy has attempted to develop a form of realism in mathematics that is not plagued by the sort of epistemological problems that beset traditional Platonism. Maddy advances the radical doctrine that we can and do causally interact with sets. We can see them, feel them, smell them, and even taste them. This chapter raises a series of objections to Maddy's version of realism.

Focuses on Hartry Field's Instrumentalism. The ‘Conservation Theorems’, upon which Field bases so much of his form of Instrumentalism, are examined in detail, as is Field's attempt to ‘nominalize’ physics. Doubts are raised about the adequacy of Field's views of mathematics and physics, and a detailed comparison with the Constructibility Theory is presented.

Sketches the basic idea for the approach taken. A mathematical system is to be developed in which the existential theorems of traditional mathematics are to be replaced by constructibility theorems: where, in traditional mathematics, it is asserted that such and such exists, it will be asserted in this system that something or other can be constructed. Thus, constructibility quantifiers are introduced in this chapter as logical constants of formal systems. The logic of the constructibility quantifier is explained in each case (...) via possible worlds semantics, which is used as a didactic or heuristic device. (shrink)

The promised mathematical system—the Constructibility Theory—is presented as an axiomatized deductive theory formalized in a many‐sorted first‐order logical language. The axioms of the theory are specified and a justification for each of the axioms is given. Objections to the theory are considered.

Concerns the ‘problem of existence’ in mathematics: the problem of how to understand existence assertions in mathematics. The problem can best be understood by considering how Mathematical Platonists have understood such existence assertions. These philosophers have taken the existential theorems of mathematics as literally asserting the existence of mathematical objects. They have then attempted to account for the epistemological and metaphysical implications of such a position by putting forward arguments that supposedly show how humans can come to know of the (...) existence of mathematical objects. The reasoning of the most prominent philosophers in this Literalist tradition, Quine and Gödel, are critically discussed. By way of contrast, an alternative position, Heyting's Intuitionism, is examined. (shrink)

Concerns an attempted refutation of nominalism put forward by John Burgess in the form of a dilemma argument. Argues that Burgess's argument is based upon a false dilemma.